Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
161	Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:59 Computability theory Mathematical logic Mathematics Theoretical computer science Primitive recursive function Primitive recursive arithmetic ELEMENTARY Reverse mathematics Pairing function Ackermann function Sequence Recursion
162	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
163 $Software / Computing / Mathematical analysis / Computer arithmetic / Continued fractions / Fraction / Configure script / GNU Multiple Precision Arithmetic Library / GNU MPFR / Const / Pi$	libContinuedFraction for version 0.5.0, 4 October 2004 Johan Vervloet () This manual is for libContinuedFraction (version 0.5.0, 4 October 2004), a library which Add to Reading List Source URL: oud.losderover.be Language: English - Date: 2006-09-27 13:02:36 Software Computing Mathematical analysis Computer arithmetic Continued fractions Fraction Configure script GNU Multiple Precision Arithmetic Library GNU MPFR Const Pi
164	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Numerical analysis Arithmetic Floating point Arithmetic underflow Rounding Interval arithmetic Precision Round-off error Significant figures
165	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval
166	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability
167	GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2015-06-19 17:58:25 Software Computer arithmetic Compiling tools C GNU MPFR GNU Multiple Precision Arithmetic Library Configure script SageMath Rounding GNU Compiler Collection C standard library GNU
168	IEEE Std P1788 IEEE Standard For Interval Arithmetic Draft 03.2 §4.8 Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2011-06-10 10:44:25 Mathematics Mathematical analysis Functions and mappings Numerical analysis Topology Arithmetic Computer arithmetic Interval Function Limit of a function Bounded function
169	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
170	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number

UPDATE